/*
 * Copyright (c) 1999, 2000
 * Intel Corporation.
 * All rights reserved.
 * 
 * Redistribution and use in source and binary forms, with or without modification,
 * are permitted provided that the following conditions are met:
 * 
 * 1. Redistributions of source code must retain the above copyright notice,
 *    this list of conditions and the following disclaimer.
 * 
 * 2. Redistributions in binary form must reproduce the above copyright notice,
 *    this list of conditions and the following disclaimer in the documentation
 *    and/or other materials provided with the distribution.
 * 
 * 3. All advertising materials mentioning features or use of this software must
 *    display the following acknowledgement:
 * 
 *    This product includes software developed by Intel Corporation and its
 *    contributors.
 * 
 * 4. Neither the name of Intel Corporation or its contributors may be used to
 *    endorse or promote products derived from this software without specific
 *    prior written permission.
 * 
 * THIS SOFTWARE IS PROVIDED BY INTEL CORPORATION AND CONTRIBUTORS ``AS IS'' AND
 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
 * WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
 * DISCLAIMED.  IN NO EVENT SHALL INTEL CORPORATION OR CONTRIBUTORS BE LIABLE FOR
 * ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
 * (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
 * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON
 * ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
 * SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
 * 
 */

/*++

Module Name:

    memory.c
    
Abstract:

    Interfaces to EFI for memory management


Revision History

--*/

#include <efi.h>
#include <efi_interface.h>
#include <sys/types.h>



//
//  Name:
//      EFI_AllocatePool
//
//  Description:
//      Allocate memory using EFI Boot Services
//
//  Arguments:
//      Size: number of bytes to allocate
//
//  Returns:
//      pointer to allocated memory, or NULL if no memory allocated
//
VOID *
EFI_AllocatePool( 
    IN UINTN Size 
    )
{
    EFI_BOOT_SERVICES *BS      = NULL;
    EFI_MEMORY_TYPE   *MemType = NULL;
    VOID              *NewMem  = NULL;

    BS      = _GetBootServices();
    MemType = _GetPoolAllocationType();

    if ( BS && MemType ) {

        if ( EFI_ERROR( BS->AllocatePool( *MemType,
                                          Size,
                                          &NewMem ) ) ) {
            return NULL;
        }
    }
    return NewMem;
}

//
//  Name:
//      EFI_FreePool
//
//  Description:
//      Free memory using EFI Boot Services
//
//  Arguments:
//      pointer to memory to be freed
//
//  Returns:
//      --none--
//
VOID
EFI_FreePool( 
    IN VOID *Buffer 
    )
{
    EFI_BOOT_SERVICES *BS = _GetBootServices();

    BS->FreePool( Buffer );

    return;
}
